我在PDDL中进行了一些生成Sokoban关卡的实验，发现Sokoban中的许多关卡对人类来说很容易，但对PDDL规划者来说似乎很难(老实说，我也发现了反之亦然)。所以我想知道是否有一个计划者-在i716be内存这样的中等硬件上-可以在最多一天的时间内找到解决方案来解决这个索科班级别(可以在https://sokoban.info/?1_2上玩)，这只是原始索科班游戏的第二个级别，对人类来说似乎相当容易：############ #..--#-----### #..--#-$--$--# #..--#$####--# #..----@-##--# #..--#-#--$-## ######-##$-$-# --#-$--$-$-$-# --#----#-----# --############复制这个级别是在下面的PDDL文件中编码的(如果你认为这个演示文稿非常不适合PDDL规划者，请告诉我-我不这么认为)。我使用仿真仔细地检查了PDDL文件，并通过手动创建的计划成功地实现了目标。然而，对于计划器，我可以得到我的手(Fastthen，ArvandHerd，siw-then-bfsf)，